[INFO] fetching crate isla-lib 0.2.0...
[INFO] checking isla-lib-0.2.0 against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] extracting crate isla-lib 0.2.0 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate isla-lib 0.2.0 on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate isla-lib 0.2.0
[INFO] finished tweaking crates.io crate isla-lib 0.2.0
[INFO] tweaked toml for crates.io crate isla-lib 0.2.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded z3-sys v0.5.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ac6cc8c7b30046ec492545b860c3e9c7c15a160f5772adbe61c06704c36a1809
[INFO] running `Command { std: "docker" "start" "-a" "ac6cc8c7b30046ec492545b860c3e9c7c15a160f5772adbe61c06704c36a1809", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ac6cc8c7b30046ec492545b860c3e9c7c15a160f5772adbe61c06704c36a1809", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac6cc8c7b30046ec492545b860c3e9c7c15a160f5772adbe61c06704c36a1809", kill_on_drop: false }`
[INFO] [stdout] ac6cc8c7b30046ec492545b860c3e9c7c15a160f5772adbe61c06704c36a1809
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8cbf781692679f90c41cf11de0ca3857900fd703b8fabe9a36289e9119d91383
[INFO] running `Command { std: "docker" "start" "-a" "8cbf781692679f90c41cf11de0ca3857900fd703b8fabe9a36289e9119d91383", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling syn v2.0.52
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking aho-corasick v1.1.2
[INFO] [stderr]     Checking block-buffer v0.7.3
[INFO] [stderr]     Checking crossbeam-deque v0.7.4
[INFO] [stderr]     Checking crossbeam-channel v0.4.4
[INFO] [stderr]     Checking crossbeam-queue v0.2.3
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking sha2 v0.8.2
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking z3-sys v0.5.0
[INFO] [stderr]     Checking crossbeam v0.7.3
[INFO] [stderr]     Checking regex-automata v0.4.5
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]     Checking regex v1.10.3
[INFO] [stderr]     Checking lalrpop-util v0.19.12
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]     Checking serde v1.0.197
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking toml v0.5.11
[INFO] [stderr]    Compiling isla-lib v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.48s
[INFO] running `Command { std: "docker" "inspect" "8cbf781692679f90c41cf11de0ca3857900fd703b8fabe9a36289e9119d91383", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8cbf781692679f90c41cf11de0ca3857900fd703b8fabe9a36289e9119d91383", kill_on_drop: false }`
[INFO] [stdout] 8cbf781692679f90c41cf11de0ca3857900fd703b8fabe9a36289e9119d91383
[INFO] checking isla-lib-0.2.0 against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] extracting crate isla-lib 0.2.0 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate isla-lib 0.2.0 on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate isla-lib 0.2.0
[INFO] finished tweaking crates.io crate isla-lib 0.2.0
[INFO] tweaked toml for crates.io crate isla-lib 0.2.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9c401c3dc9808ba74c1bef1ddd0d0242034f99187daaaa0d6c75a837e0dfe3c8
[INFO] running `Command { std: "docker" "start" "-a" "9c401c3dc9808ba74c1bef1ddd0d0242034f99187daaaa0d6c75a837e0dfe3c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9c401c3dc9808ba74c1bef1ddd0d0242034f99187daaaa0d6c75a837e0dfe3c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c401c3dc9808ba74c1bef1ddd0d0242034f99187daaaa0d6c75a837e0dfe3c8", kill_on_drop: false }`
[INFO] [stdout] 9c401c3dc9808ba74c1bef1ddd0d0242034f99187daaaa0d6c75a837e0dfe3c8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 660c499e31ed51792e8d0dfcfa7ce72044c902092b15482d73b0bf07bd643485
[INFO] running `Command { std: "docker" "start" "-a" "660c499e31ed51792e8d0dfcfa7ce72044c902092b15482d73b0bf07bd643485", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling syn v2.0.52
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking aho-corasick v1.1.2
[INFO] [stderr]     Checking crossbeam-queue v0.2.3
[INFO] [stderr]     Checking crossbeam-deque v0.7.4
[INFO] [stderr]     Checking crossbeam-channel v0.4.4
[INFO] [stderr]     Checking block-buffer v0.7.3
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking sha2 v0.8.2
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking z3-sys v0.5.0
[INFO] [stderr]     Checking crossbeam v0.7.3
[INFO] [stderr]     Checking regex-automata v0.4.5
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]     Checking regex v1.10.3
[INFO] [stderr]     Checking lalrpop-util v0.19.12
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]     Checking serde v1.0.197
[INFO] [stderr]     Checking toml v0.5.11
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]    Compiling isla-lib v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:60:23
[INFO] [stdout]    |
[INFO] [stdout] 60 |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             write_bits!(f, self.bits, 128)
[INFO] [stdout]    |             ------------------------------ in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W range-syntax`
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:64:23
[INFO] [stdout]    |
[INFO] [stdout] 64 |             for i in (0..$len).rev() {
[INFO] [stdout]    |                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             write_bits!(f, self.bits, 128)
[INFO] [stdout]    |             ------------------------------ in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:60:23
[INFO] [stdout]    |
[INFO] [stdout] 60 |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:82:13
[INFO] [stdout]    |
[INFO] [stdout] 82 |             write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |             ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:64:23
[INFO] [stdout]    |
[INFO] [stdout] 64 |             for i in (0..$len).rev() {
[INFO] [stdout]    |                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:82:13
[INFO] [stdout]    |
[INFO] [stdout] 82 |             write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |             ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:278:33
[INFO] [stdout]     |
[INFO] [stdout] 278 |         self.bits.to_be_bytes()[16 - self.len as usize / 8..].to_vec()
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:343:31
[INFO] [stdout]     |
[INFO] [stdout] 343 |                 let hex = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:348:40
[INFO] [stdout]     |
[INFO] [stdout] 348 |                     let tag_bit = &hex[0..1];
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:352:96
[INFO] [stdout]     |
[INFO] [stdout] 352 |                     Some(B129 { len: 129, tag: tag_bit == "1", bits: u128::from_str_radix(&hex[1..], 16).ok()? })
[INFO] [stdout]     |                                                                                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:358:31
[INFO] [stdout]     |
[INFO] [stdout] 358 |                 let bin = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:363:40
[INFO] [stdout]     |
[INFO] [stdout] 363 |                     let tag_bit = &bin[0..1];
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:367:103
[INFO] [stdout]     |
[INFO] [stdout] 367 |                     Some(B129 { len: len as u32, tag: tag_bit == "1", bits: u128::from_str_radix(&bin[1..], 2).ok()? })
[INFO] [stdout]     |                                                                                                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:514:18
[INFO] [stdout]     |
[INFO] [stdout] 514 |         for i in 0..131 {
[INFO] [stdout]     |                  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:60:23
[INFO] [stdout]    |
[INFO] [stdout] 60 |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b64.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |         ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:64:23
[INFO] [stdout]    |
[INFO] [stdout] 64 |             for i in (0..$len).rev() {
[INFO] [stdout]    |                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b64.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |         ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b64.rs:224:33
[INFO] [stdout]     |
[INFO] [stdout] 224 |         self.bits.to_be_bytes()[8 - self.len as usize / 8..].to_vec()
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b64.rs:234:31
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 let hex = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b64.rs:243:31
[INFO] [stdout]     |
[INFO] [stdout] 243 |                 let bin = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector.rs:269:22
[INFO] [stdout]     |
[INFO] [stdout] 269 |             for _ in 1..times {
[INFO] [stdout]     |                      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector.rs:60:23
[INFO] [stdout]     |
[INFO] [stdout] 60  |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 289 |     write_bits!(buf, bits, len)
[INFO] [stdout]     |     --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector.rs:64:23
[INFO] [stdout]     |
[INFO] [stdout] 64  |             for i in (0..$len).rev() {
[INFO] [stdout]     |                       ^
[INFO] [stdout] ...
[INFO] [stdout] 289 |     write_bits!(buf, bits, len)
[INFO] [stdout]     |     --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/config.rs:203:43
[INFO] [stdout]     |
[INFO] [stdout] 203 |             if value.len() >= 2 && &value[0..2] == "0x" {
[INFO] [stdout]     |                                           ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/config.rs:204:44
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 u64::from_str_radix(&value[2..], 16)
[INFO] [stdout]     |                                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/executor.rs:99:27
[INFO] [stdout]    |
[INFO] [stdout] 99 |             let values = (0..*sz).map(|_| symbolic(ty, shared_state, solver)).collect::<Result<_, _>>()?;
[INFO] [stdout]    |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> src/executor.rs:1171:20
[INFO] [stdout]      |
[INFO] [stdout] 1171 |         for tid in 0..num_threads {
[INFO] [stdout]      |                    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:409:70
[INFO] [stdout]     |
[INFO] [stdout] 409 |             _ if i > 0 && instr.is_labeled() => return Some((&instrs[0..i], None, Terminator::Continue, &instrs[i..])),
[INFO] [stdout]     |                                                                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:409:113
[INFO] [stdout]     |
[INFO] [stdout] 409 |             _ if i > 0 && instr.is_labeled() => return Some((&instrs[0..i], None, Terminator::Continue, &instrs[i..])),
[INFO] [stdout]     |                                                                                                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:411:38
[INFO] [stdout]     |
[INFO] [stdout] 411 |                 return Some((&instrs[0..i], instr.label(), to_terminator(instr.strip_ref()), &instrs[(i + 1)..]))
[INFO] [stdout]     |                                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:411:102
[INFO] [stdout]     |
[INFO] [stdout] 411 |                 return Some((&instrs[0..i], instr.label(), to_terminator(instr.strip_ref()), &instrs[(i + 1)..]))
[INFO] [stdout]     |                                                                                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/ir_lexer.rs:240:38
[INFO] [stdout]     |
[INFO] [stdout] 240 |                 self.buf = &self.buf[k.len..];
[INFO] [stdout]     |                                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 self.buf = &self.buf[1..]
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |                 self.buf = &self.buf[mat.end()..];
[INFO] [stdout]    |                                      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/lexer.rs:83:46
[INFO] [stdout]    |
[INFO] [stdout] 83 |                     let contents = &self.buf[1..string_end];
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:86:42
[INFO] [stdout]    |
[INFO] [stdout] 86 |                     self.buf = &self.buf[(string_end + 1)..];
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/memory.rs:312:44
[INFO] [stdout]     |
[INFO] [stdout] 312 |         self.regions.push(Region::Concrete(address..address, vec![(address, byte)].into_iter().collect()))
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/memory.rs:339:18
[INFO] [stdout]     |
[INFO] [stdout] 339 |         for i in address..(address + u64::from(bytes)) {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/memory.rs:701:14
[INFO] [stdout]     |
[INFO] [stdout] 701 |     for i in address..(address + u64::from(bytes)) {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/primop.rs:64:14
[INFO] [stdout]    |
[INFO] [stdout] 64 |     for n in 0..128 {
[INFO] [stdout]    |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/primop.rs:86:18
[INFO] [stdout]    |
[INFO] [stdout] 86 |         for i in 0..mask_width {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/primop.rs:114:18
[INFO] [stdout]     |
[INFO] [stdout] 114 |         for n in 0..bv.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/primop.rs:1629:64
[INFO] [stdout]      |
[INFO] [stdout] 1629 |         (Val::String(s), Val::I128(n)) => Ok(Val::String(s.get((n as usize)..).unwrap_or("").to_string())),
[INFO] [stdout]      |                                                                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/simplify.rs:617:19
[INFO] [stdout]     |
[INFO] [stdout] 617 |         for i in (0..(bits.len() / 4)).rev() {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt/smtlib.rs:125:18
[INFO] [stdout]     |
[INFO] [stdout] 125 |         for n in 0..64 {
[INFO] [stdout]     |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt/smtlib.rs:176:22
[INFO] [stdout]     |
[INFO] [stdout] 176 |             for n in 0..len {
[INFO] [stdout]     |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt/smtlib.rs:184:22
[INFO] [stdout]     |
[INFO] [stdout] 184 |             for n in 0..len {
[INFO] [stdout]     |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt.rs:402:22
[INFO] [stdout]     |
[INFO] [stdout] 402 |             for i in 0..size {
[INFO] [stdout]     |                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt.rs:418:26
[INFO] [stdout]     |
[INFO] [stdout] 418 |                 for i in 0..e.size {
[INFO] [stdout]     |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt.rs:947:22
[INFO] [stdout]     |
[INFO] [stdout] 947 |             for j in i..hi {
[INFO] [stdout]     |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> src/smt.rs:1193:42
[INFO] [stdout]      |
[INFO] [stdout] 1193 |                 let members: Vec<Sym> = (0..*size).map(|_| self.fresh()).collect();
[INFO] [stdout]      |                                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/zencode.rs:53:20
[INFO] [stdout]    |
[INFO] [stdout] 53 |     for c in input[0..].bytes() {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/zencode.rs:82:20
[INFO] [stdout]    |
[INFO] [stdout] 82 |     for c in input[1..].bytes() {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:60:23
[INFO] [stdout]    |
[INFO] [stdout] 60 |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             write_bits!(f, self.bits, 128)
[INFO] [stdout]    |             ------------------------------ in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W range-syntax`
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:64:23
[INFO] [stdout]    |
[INFO] [stdout] 64 |             for i in (0..$len).rev() {
[INFO] [stdout]    |                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             write_bits!(f, self.bits, 128)
[INFO] [stdout]    |             ------------------------------ in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:60:23
[INFO] [stdout]    |
[INFO] [stdout] 60 |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:82:13
[INFO] [stdout]    |
[INFO] [stdout] 82 |             write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |             ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:64:23
[INFO] [stdout]    |
[INFO] [stdout] 64 |             for i in (0..$len).rev() {
[INFO] [stdout]    |                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b129.rs:82:13
[INFO] [stdout]    |
[INFO] [stdout] 82 |             write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |             ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:278:33
[INFO] [stdout]     |
[INFO] [stdout] 278 |         self.bits.to_be_bytes()[16 - self.len as usize / 8..].to_vec()
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:343:31
[INFO] [stdout]     |
[INFO] [stdout] 343 |                 let hex = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:348:40
[INFO] [stdout]     |
[INFO] [stdout] 348 |                     let tag_bit = &hex[0..1];
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:352:96
[INFO] [stdout]     |
[INFO] [stdout] 352 |                     Some(B129 { len: 129, tag: tag_bit == "1", bits: u128::from_str_radix(&hex[1..], 16).ok()? })
[INFO] [stdout]     |                                                                                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:358:31
[INFO] [stdout]     |
[INFO] [stdout] 358 |                 let bin = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:363:40
[INFO] [stdout]     |
[INFO] [stdout] 363 |                     let tag_bit = &bin[0..1];
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b129.rs:367:103
[INFO] [stdout]     |
[INFO] [stdout] 367 |                     Some(B129 { len: len as u32, tag: tag_bit == "1", bits: u128::from_str_radix(&bin[1..], 2).ok()? })
[INFO] [stdout]     |                                                                                                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:60:23
[INFO] [stdout]    |
[INFO] [stdout] 60 |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b64.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |         ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/bitvector.rs:64:23
[INFO] [stdout]    |
[INFO] [stdout] 64 |             for i in (0..$len).rev() {
[INFO] [stdout]    |                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/bitvector/b64.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         write_bits!(f, self.bits, self.len)
[INFO] [stdout]    |         ----------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b64.rs:224:33
[INFO] [stdout]     |
[INFO] [stdout] 224 |         self.bits.to_be_bytes()[8 - self.len as usize / 8..].to_vec()
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b64.rs:234:31
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 let hex = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/bitvector/b64.rs:243:31
[INFO] [stdout]     |
[INFO] [stdout] 243 |                 let bin = &bv[2..];
[INFO] [stdout]     |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector.rs:269:22
[INFO] [stdout]     |
[INFO] [stdout] 269 |             for _ in 1..times {
[INFO] [stdout]     |                      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector.rs:60:23
[INFO] [stdout]     |
[INFO] [stdout] 60  |             for i in (0..($len / 4)).rev() {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 289 |     write_bits!(buf, bits, len)
[INFO] [stdout]     |     --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/bitvector.rs:64:23
[INFO] [stdout]     |
[INFO] [stdout] 64  |             for i in (0..$len).rev() {
[INFO] [stdout]     |                       ^
[INFO] [stdout] ...
[INFO] [stdout] 289 |     write_bits!(buf, bits, len)
[INFO] [stdout]     |     --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `write_bits` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/config.rs:203:43
[INFO] [stdout]     |
[INFO] [stdout] 203 |             if value.len() >= 2 && &value[0..2] == "0x" {
[INFO] [stdout]     |                                           ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/config.rs:204:44
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 u64::from_str_radix(&value[2..], 16)
[INFO] [stdout]     |                                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/executor.rs:99:27
[INFO] [stdout]    |
[INFO] [stdout] 99 |             let values = (0..*sz).map(|_| symbolic(ty, shared_state, solver)).collect::<Result<_, _>>()?;
[INFO] [stdout]    |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> src/executor.rs:1171:20
[INFO] [stdout]      |
[INFO] [stdout] 1171 |         for tid in 0..num_threads {
[INFO] [stdout]      |                    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:409:70
[INFO] [stdout]     |
[INFO] [stdout] 409 |             _ if i > 0 && instr.is_labeled() => return Some((&instrs[0..i], None, Terminator::Continue, &instrs[i..])),
[INFO] [stdout]     |                                                                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:409:113
[INFO] [stdout]     |
[INFO] [stdout] 409 |             _ if i > 0 && instr.is_labeled() => return Some((&instrs[0..i], None, Terminator::Continue, &instrs[i..])),
[INFO] [stdout]     |                                                                                                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:411:38
[INFO] [stdout]     |
[INFO] [stdout] 411 |                 return Some((&instrs[0..i], instr.label(), to_terminator(instr.strip_ref()), &instrs[(i + 1)..]))
[INFO] [stdout]     |                                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/ir/ssa.rs:411:102
[INFO] [stdout]     |
[INFO] [stdout] 411 |                 return Some((&instrs[0..i], instr.label(), to_terminator(instr.strip_ref()), &instrs[(i + 1)..]))
[INFO] [stdout]     |                                                                                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/ir_lexer.rs:240:38
[INFO] [stdout]     |
[INFO] [stdout] 240 |                 self.buf = &self.buf[k.len..];
[INFO] [stdout]     |                                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 self.buf = &self.buf[1..]
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |                 self.buf = &self.buf[mat.end()..];
[INFO] [stdout]    |                                      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/lexer.rs:83:46
[INFO] [stdout]    |
[INFO] [stdout] 83 |                     let contents = &self.buf[1..string_end];
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/lexer.rs:86:42
[INFO] [stdout]    |
[INFO] [stdout] 86 |                     self.buf = &self.buf[(string_end + 1)..];
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/memory.rs:312:44
[INFO] [stdout]     |
[INFO] [stdout] 312 |         self.regions.push(Region::Concrete(address..address, vec![(address, byte)].into_iter().collect()))
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/memory.rs:339:18
[INFO] [stdout]     |
[INFO] [stdout] 339 |         for i in address..(address + u64::from(bytes)) {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/memory.rs:701:14
[INFO] [stdout]     |
[INFO] [stdout] 701 |     for i in address..(address + u64::from(bytes)) {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/primop.rs:64:14
[INFO] [stdout]    |
[INFO] [stdout] 64 |     for n in 0..128 {
[INFO] [stdout]    |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/primop.rs:86:18
[INFO] [stdout]    |
[INFO] [stdout] 86 |         for i in 0..mask_width {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/primop.rs:114:18
[INFO] [stdout]     |
[INFO] [stdout] 114 |         for n in 0..bv.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/primop.rs:1629:64
[INFO] [stdout]      |
[INFO] [stdout] 1629 |         (Val::String(s), Val::I128(n)) => Ok(Val::String(s.get((n as usize)..).unwrap_or("").to_string())),
[INFO] [stdout]      |                                                                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/simplify.rs:617:19
[INFO] [stdout]     |
[INFO] [stdout] 617 |         for i in (0..(bits.len() / 4)).rev() {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt/smtlib.rs:125:18
[INFO] [stdout]     |
[INFO] [stdout] 125 |         for n in 0..64 {
[INFO] [stdout]     |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt/smtlib.rs:176:22
[INFO] [stdout]     |
[INFO] [stdout] 176 |             for n in 0..len {
[INFO] [stdout]     |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt/smtlib.rs:184:22
[INFO] [stdout]     |
[INFO] [stdout] 184 |             for n in 0..len {
[INFO] [stdout]     |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt.rs:402:22
[INFO] [stdout]     |
[INFO] [stdout] 402 |             for i in 0..size {
[INFO] [stdout]     |                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt.rs:418:26
[INFO] [stdout]     |
[INFO] [stdout] 418 |                 for i in 0..e.size {
[INFO] [stdout]     |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/smt.rs:947:22
[INFO] [stdout]     |
[INFO] [stdout] 947 |             for j in i..hi {
[INFO] [stdout]     |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> src/smt.rs:1193:42
[INFO] [stdout]      |
[INFO] [stdout] 1193 |                 let members: Vec<Sym> = (0..*size).map(|_| self.fresh()).collect();
[INFO] [stdout]      |                                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/zencode.rs:53:20
[INFO] [stdout]    |
[INFO] [stdout] 53 |     for c in input[0..].bytes() {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> src/zencode.rs:82:20
[INFO] [stdout]    |
[INFO] [stdout] 82 |     for c in input[1..].bytes() {
[INFO] [stdout]    |                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]   --> src/memory.rs:96:17
[INFO] [stdout]    |
[INFO] [stdout] 96 |     Constrained(Range<Address>, Arc<dyn Send + Sync + Fn(&mut Solver<B>) -> Sym>),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]   --> src/memory.rs:98:14
[INFO] [stdout]    |
[INFO] [stdout] 98 |     Symbolic(Range<Address>),
[INFO] [stdout]    |              ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/memory.rs:100:18
[INFO] [stdout]     |
[INFO] [stdout] 100 |     SymbolicCode(Range<Address>),
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/memory.rs:102:14
[INFO] [stdout]     |
[INFO] [stdout] 102 |     Concrete(Range<Address>, HashMap<Address, u8>),
[INFO] [stdout]     |              ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public enum definition
[INFO] [stdout]    --> src/memory.rs:104:12
[INFO] [stdout]     |
[INFO] [stdout] 104 |     Custom(Range<Address>, Box<dyn Send + Sync + CustomRegion<B>>),
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/memory.rs:282:50
[INFO] [stdout]     |
[INFO] [stdout] 282 |     pub fn add_symbolic_region(&mut self, range: Range<Address>) {
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/memory.rs:286:55
[INFO] [stdout]     |
[INFO] [stdout] 286 |     pub fn add_symbolic_code_region(&mut self, range: Range<Address>) {
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/memory.rs:290:50
[INFO] [stdout]     |
[INFO] [stdout] 290 |     pub fn add_concrete_region(&mut self, range: Range<Address>, contents: HashMap<Address, u8>) {
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/memory.rs:294:46
[INFO] [stdout]     |
[INFO] [stdout] 294 |     pub fn add_zero_region(&mut self, range: Range<Address>) {
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 50 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 9 previous errors; 49 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla-lib` (lib) due to 10 previous errors; 49 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "660c499e31ed51792e8d0dfcfa7ce72044c902092b15482d73b0bf07bd643485", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "660c499e31ed51792e8d0dfcfa7ce72044c902092b15482d73b0bf07bd643485", kill_on_drop: false }`
[INFO] [stdout] 660c499e31ed51792e8d0dfcfa7ce72044c902092b15482d73b0bf07bd643485
